Optimal. Leaf size=574 \[ -\frac {3 \left (c d^2-a e^2\right )^3 \left (33 c^3 d^6+45 a c^2 d^4 e^2+35 a^2 c d^2 e^4+15 a^3 e^6\right ) \left (c d^2+a e^2+2 c d e x\right ) \sqrt {a d e+\left (c d^2+a e^2\right ) x+c d e x^2}}{16384 c^5 d^5 e^6}+\frac {\left (c d^2-a e^2\right ) \left (33 c^3 d^6+45 a c^2 d^4 e^2+35 a^2 c d^2 e^4+15 a^3 e^6\right ) \left (c d^2+a e^2+2 c d e x\right ) \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}{2048 c^4 d^4 e^5}+\frac {1}{112} \left (\frac {5 a}{c d}-\frac {11 d}{e^2}\right ) x^2 \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}+\frac {x^3 \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}}{8 e}-\frac {\left (231 c^3 d^6-15 a c^2 d^4 e^2-95 a^2 c d^2 e^4-105 a^3 e^6-10 c d e \left (33 c^2 d^4-10 a c d^2 e^2-15 a^2 e^4\right ) x\right ) \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}}{4480 c^3 d^3 e^4}+\frac {3 \left (c d^2-a e^2\right )^5 \left (33 c^3 d^6+45 a c^2 d^4 e^2+35 a^2 c d^2 e^4+15 a^3 e^6\right ) \tanh ^{-1}\left (\frac {c d^2+a e^2+2 c d e x}{2 \sqrt {c} \sqrt {d} \sqrt {e} \sqrt {a d e+\left (c d^2+a e^2\right ) x+c d e x^2}}\right )}{32768 c^{11/2} d^{11/2} e^{13/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.43, antiderivative size = 574, normalized size of antiderivative = 1.00, number of steps
used = 8, number of rules used = 6, integrand size = 40, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.150, Rules used = {863, 846, 793,
626, 635, 212} \begin {gather*} -\frac {\left (-105 a^3 e^6-10 c d e x \left (-15 a^2 e^4-10 a c d^2 e^2+33 c^2 d^4\right )-95 a^2 c d^2 e^4-15 a c^2 d^4 e^2+231 c^3 d^6\right ) \left (x \left (a e^2+c d^2\right )+a d e+c d e x^2\right )^{5/2}}{4480 c^3 d^3 e^4}+\frac {3 \left (15 a^3 e^6+35 a^2 c d^2 e^4+45 a c^2 d^4 e^2+33 c^3 d^6\right ) \left (c d^2-a e^2\right )^5 \tanh ^{-1}\left (\frac {a e^2+c d^2+2 c d e x}{2 \sqrt {c} \sqrt {d} \sqrt {e} \sqrt {x \left (a e^2+c d^2\right )+a d e+c d e x^2}}\right )}{32768 c^{11/2} d^{11/2} e^{13/2}}-\frac {3 \left (15 a^3 e^6+35 a^2 c d^2 e^4+45 a c^2 d^4 e^2+33 c^3 d^6\right ) \left (c d^2-a e^2\right )^3 \left (a e^2+c d^2+2 c d e x\right ) \sqrt {x \left (a e^2+c d^2\right )+a d e+c d e x^2}}{16384 c^5 d^5 e^6}+\frac {\left (15 a^3 e^6+35 a^2 c d^2 e^4+45 a c^2 d^4 e^2+33 c^3 d^6\right ) \left (c d^2-a e^2\right ) \left (a e^2+c d^2+2 c d e x\right ) \left (x \left (a e^2+c d^2\right )+a d e+c d e x^2\right )^{3/2}}{2048 c^4 d^4 e^5}+\frac {1}{112} x^2 \left (\frac {5 a}{c d}-\frac {11 d}{e^2}\right ) \left (x \left (a e^2+c d^2\right )+a d e+c d e x^2\right )^{5/2}+\frac {x^3 \left (x \left (a e^2+c d^2\right )+a d e+c d e x^2\right )^{5/2}}{8 e} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 212
Rule 626
Rule 635
Rule 793
Rule 846
Rule 863
Rubi steps
\begin {align*} \int \frac {x^3 \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}}{d+e x} \, dx &=\int x^3 (a e+c d x) \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2} \, dx\\ &=\frac {x^3 \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}}{8 e}+\frac {\int x^2 \left (-3 a c d^2 e-\frac {1}{2} c d \left (11 c d^2-5 a e^2\right ) x\right ) \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2} \, dx}{8 c d e}\\ &=\frac {1}{112} \left (\frac {5 a}{c d}-\frac {11 d}{e^2}\right ) x^2 \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}+\frac {x^3 \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}}{8 e}+\frac {\int x \left (a c d^2 e \left (11 c d^2-5 a e^2\right )+\frac {3}{4} c d \left (33 c^2 d^4-10 a c d^2 e^2-15 a^2 e^4\right ) x\right ) \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2} \, dx}{56 c^2 d^2 e^2}\\ &=\frac {1}{112} \left (\frac {5 a}{c d}-\frac {11 d}{e^2}\right ) x^2 \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}+\frac {x^3 \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}}{8 e}-\frac {\left (231 c^3 d^6-15 a c^2 d^4 e^2-95 a^2 c d^2 e^4-105 a^3 e^6-10 c d e \left (33 c^2 d^4-10 a c d^2 e^2-15 a^2 e^4\right ) x\right ) \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}}{4480 c^3 d^3 e^4}+\frac {\left (\left (c d^2-a e^2\right ) \left (33 c^3 d^6+45 a c^2 d^4 e^2+35 a^2 c d^2 e^4+15 a^3 e^6\right )\right ) \int \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2} \, dx}{256 c^3 d^3 e^4}\\ &=\frac {\left (c d^2-a e^2\right ) \left (33 c^3 d^6+45 a c^2 d^4 e^2+35 a^2 c d^2 e^4+15 a^3 e^6\right ) \left (c d^2+a e^2+2 c d e x\right ) \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}{2048 c^4 d^4 e^5}+\frac {1}{112} \left (\frac {5 a}{c d}-\frac {11 d}{e^2}\right ) x^2 \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}+\frac {x^3 \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}}{8 e}-\frac {\left (231 c^3 d^6-15 a c^2 d^4 e^2-95 a^2 c d^2 e^4-105 a^3 e^6-10 c d e \left (33 c^2 d^4-10 a c d^2 e^2-15 a^2 e^4\right ) x\right ) \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}}{4480 c^3 d^3 e^4}-\frac {\left (3 \left (c d^2-a e^2\right )^3 \left (33 c^3 d^6+45 a c^2 d^4 e^2+35 a^2 c d^2 e^4+15 a^3 e^6\right )\right ) \int \sqrt {a d e+\left (c d^2+a e^2\right ) x+c d e x^2} \, dx}{4096 c^4 d^4 e^5}\\ &=-\frac {3 \left (c d^2-a e^2\right )^3 \left (33 c^3 d^6+45 a c^2 d^4 e^2+35 a^2 c d^2 e^4+15 a^3 e^6\right ) \left (c d^2+a e^2+2 c d e x\right ) \sqrt {a d e+\left (c d^2+a e^2\right ) x+c d e x^2}}{16384 c^5 d^5 e^6}+\frac {\left (c d^2-a e^2\right ) \left (33 c^3 d^6+45 a c^2 d^4 e^2+35 a^2 c d^2 e^4+15 a^3 e^6\right ) \left (c d^2+a e^2+2 c d e x\right ) \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}{2048 c^4 d^4 e^5}+\frac {1}{112} \left (\frac {5 a}{c d}-\frac {11 d}{e^2}\right ) x^2 \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}+\frac {x^3 \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}}{8 e}-\frac {\left (231 c^3 d^6-15 a c^2 d^4 e^2-95 a^2 c d^2 e^4-105 a^3 e^6-10 c d e \left (33 c^2 d^4-10 a c d^2 e^2-15 a^2 e^4\right ) x\right ) \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}}{4480 c^3 d^3 e^4}+\frac {\left (3 \left (c d^2-a e^2\right )^5 \left (33 c^3 d^6+45 a c^2 d^4 e^2+35 a^2 c d^2 e^4+15 a^3 e^6\right )\right ) \int \frac {1}{\sqrt {a d e+\left (c d^2+a e^2\right ) x+c d e x^2}} \, dx}{32768 c^5 d^5 e^6}\\ &=-\frac {3 \left (c d^2-a e^2\right )^3 \left (33 c^3 d^6+45 a c^2 d^4 e^2+35 a^2 c d^2 e^4+15 a^3 e^6\right ) \left (c d^2+a e^2+2 c d e x\right ) \sqrt {a d e+\left (c d^2+a e^2\right ) x+c d e x^2}}{16384 c^5 d^5 e^6}+\frac {\left (c d^2-a e^2\right ) \left (33 c^3 d^6+45 a c^2 d^4 e^2+35 a^2 c d^2 e^4+15 a^3 e^6\right ) \left (c d^2+a e^2+2 c d e x\right ) \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}{2048 c^4 d^4 e^5}+\frac {1}{112} \left (\frac {5 a}{c d}-\frac {11 d}{e^2}\right ) x^2 \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}+\frac {x^3 \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}}{8 e}-\frac {\left (231 c^3 d^6-15 a c^2 d^4 e^2-95 a^2 c d^2 e^4-105 a^3 e^6-10 c d e \left (33 c^2 d^4-10 a c d^2 e^2-15 a^2 e^4\right ) x\right ) \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}}{4480 c^3 d^3 e^4}+\frac {\left (3 \left (c d^2-a e^2\right )^5 \left (33 c^3 d^6+45 a c^2 d^4 e^2+35 a^2 c d^2 e^4+15 a^3 e^6\right )\right ) \text {Subst}\left (\int \frac {1}{4 c d e-x^2} \, dx,x,\frac {c d^2+a e^2+2 c d e x}{\sqrt {a d e+\left (c d^2+a e^2\right ) x+c d e x^2}}\right )}{16384 c^5 d^5 e^6}\\ &=-\frac {3 \left (c d^2-a e^2\right )^3 \left (33 c^3 d^6+45 a c^2 d^4 e^2+35 a^2 c d^2 e^4+15 a^3 e^6\right ) \left (c d^2+a e^2+2 c d e x\right ) \sqrt {a d e+\left (c d^2+a e^2\right ) x+c d e x^2}}{16384 c^5 d^5 e^6}+\frac {\left (c d^2-a e^2\right ) \left (33 c^3 d^6+45 a c^2 d^4 e^2+35 a^2 c d^2 e^4+15 a^3 e^6\right ) \left (c d^2+a e^2+2 c d e x\right ) \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{3/2}}{2048 c^4 d^4 e^5}+\frac {1}{112} \left (\frac {5 a}{c d}-\frac {11 d}{e^2}\right ) x^2 \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}+\frac {x^3 \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}}{8 e}-\frac {\left (231 c^3 d^6-15 a c^2 d^4 e^2-95 a^2 c d^2 e^4-105 a^3 e^6-10 c d e \left (33 c^2 d^4-10 a c d^2 e^2-15 a^2 e^4\right ) x\right ) \left (a d e+\left (c d^2+a e^2\right ) x+c d e x^2\right )^{5/2}}{4480 c^3 d^3 e^4}+\frac {3 \left (c d^2-a e^2\right )^5 \left (33 c^3 d^6+45 a c^2 d^4 e^2+35 a^2 c d^2 e^4+15 a^3 e^6\right ) \tanh ^{-1}\left (\frac {c d^2+a e^2+2 c d e x}{2 \sqrt {c} \sqrt {d} \sqrt {e} \sqrt {a d e+\left (c d^2+a e^2\right ) x+c d e x^2}}\right )}{32768 c^{11/2} d^{11/2} e^{13/2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 1.49, size = 549, normalized size = 0.96 \begin {gather*} \frac {\sqrt {(a e+c d x) (d+e x)} \left (\sqrt {c} \sqrt {d} \sqrt {e} \left (1575 a^7 e^{14}-525 a^6 c d e^{12} (7 d+2 e x)+35 a^5 c^2 d^2 e^{10} \left (29 d^2+68 d e x+24 e^2 x^2\right )+5 a^4 c^3 d^3 e^8 \left (185 d^3-110 d^2 e x-376 d e^2 x^2-144 e^3 x^3\right )+5 a^3 c^4 d^4 e^6 \left (265 d^4-120 d^3 e x+80 d^2 e^2 x^2+320 d e^3 x^3+128 e^4 x^4\right )+a^2 c^5 d^5 e^4 \left (-11193 d^5+7034 d^4 e x-5488 d^3 e^2 x^2+4640 d^2 e^3 x^3+137600 d e^4 x^4+103680 e^5 x^5\right )+a c^6 d^6 e^2 \left (11445 d^6-7476 d^5 e x+5928 d^4 e^2 x^2-5056 d^3 e^3 x^3+4480 d^2 e^4 x^4+212480 d e^5 x^5+168960 e^6 x^6\right )+c^7 d^7 \left (-3465 d^7+2310 d^6 e x-1848 d^5 e^2 x^2+1584 d^4 e^3 x^3-1408 d^3 e^4 x^4+1280 d^2 e^5 x^5+87040 d e^6 x^6+71680 e^7 x^7\right )\right )+\frac {105 \left (c d^2-a e^2\right )^5 \left (33 c^3 d^6+45 a c^2 d^4 e^2+35 a^2 c d^2 e^4+15 a^3 e^6\right ) \tanh ^{-1}\left (\frac {\sqrt {e} \sqrt {a e+c d x}}{\sqrt {c} \sqrt {d} \sqrt {d+e x}}\right )}{\sqrt {a e+c d x} \sqrt {d+e x}}\right )}{573440 c^{11/2} d^{11/2} e^{13/2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(1894\) vs.
\(2(536)=1072\).
time = 0.07, size = 1895, normalized size = 3.30
method | result | size |
default | \(\text {Expression too large to display}\) | \(1895\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: ValueError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 2.23, size = 1485, normalized size = 2.59 \begin {gather*} \left [\frac {{\left (105 \, {\left (33 \, c^{8} d^{16} - 120 \, a c^{7} d^{14} e^{2} + 140 \, a^{2} c^{6} d^{12} e^{4} - 40 \, a^{3} c^{5} d^{10} e^{6} - 10 \, a^{4} c^{4} d^{8} e^{8} - 8 \, a^{5} c^{3} d^{6} e^{10} - 20 \, a^{6} c^{2} d^{4} e^{12} + 40 \, a^{7} c d^{2} e^{14} - 15 \, a^{8} e^{16}\right )} \sqrt {c d} e^{\frac {1}{2}} \log \left (8 \, c^{2} d^{3} x e + c^{2} d^{4} + 8 \, a c d x e^{3} + a^{2} e^{4} + 4 \, \sqrt {c d^{2} x + a x e^{2} + {\left (c d x^{2} + a d\right )} e} {\left (2 \, c d x e + c d^{2} + a e^{2}\right )} \sqrt {c d} e^{\frac {1}{2}} + 2 \, {\left (4 \, c^{2} d^{2} x^{2} + 3 \, a c d^{2}\right )} e^{2}\right ) + 4 \, {\left (2310 \, c^{8} d^{14} x e^{2} - 3465 \, c^{8} d^{15} e - 1050 \, a^{6} c^{2} d^{2} x e^{14} + 1575 \, a^{7} c d e^{15} + 105 \, {\left (8 \, a^{5} c^{3} d^{3} x^{2} - 35 \, a^{6} c^{2} d^{3}\right )} e^{13} - 20 \, {\left (36 \, a^{4} c^{4} d^{4} x^{3} - 119 \, a^{5} c^{3} d^{4} x\right )} e^{12} + 5 \, {\left (128 \, a^{3} c^{5} d^{5} x^{4} - 376 \, a^{4} c^{4} d^{5} x^{2} + 203 \, a^{5} c^{3} d^{5}\right )} e^{11} + 10 \, {\left (10368 \, a^{2} c^{6} d^{6} x^{5} + 160 \, a^{3} c^{5} d^{6} x^{3} - 55 \, a^{4} c^{4} d^{6} x\right )} e^{10} + 5 \, {\left (33792 \, a c^{7} d^{7} x^{6} + 27520 \, a^{2} c^{6} d^{7} x^{4} + 80 \, a^{3} c^{5} d^{7} x^{2} + 185 \, a^{4} c^{4} d^{7}\right )} e^{9} + 40 \, {\left (1792 \, c^{8} d^{8} x^{7} + 5312 \, a c^{7} d^{8} x^{5} + 116 \, a^{2} c^{6} d^{8} x^{3} - 15 \, a^{3} c^{5} d^{8} x\right )} e^{8} + {\left (87040 \, c^{8} d^{9} x^{6} + 4480 \, a c^{7} d^{9} x^{4} - 5488 \, a^{2} c^{6} d^{9} x^{2} + 1325 \, a^{3} c^{5} d^{9}\right )} e^{7} + 2 \, {\left (640 \, c^{8} d^{10} x^{5} - 2528 \, a c^{7} d^{10} x^{3} + 3517 \, a^{2} c^{6} d^{10} x\right )} e^{6} - {\left (1408 \, c^{8} d^{11} x^{4} - 5928 \, a c^{7} d^{11} x^{2} + 11193 \, a^{2} c^{6} d^{11}\right )} e^{5} + 12 \, {\left (132 \, c^{8} d^{12} x^{3} - 623 \, a c^{7} d^{12} x\right )} e^{4} - 21 \, {\left (88 \, c^{8} d^{13} x^{2} - 545 \, a c^{7} d^{13}\right )} e^{3}\right )} \sqrt {c d^{2} x + a x e^{2} + {\left (c d x^{2} + a d\right )} e}\right )} e^{\left (-7\right )}}{2293760 \, c^{6} d^{6}}, -\frac {{\left (105 \, {\left (33 \, c^{8} d^{16} - 120 \, a c^{7} d^{14} e^{2} + 140 \, a^{2} c^{6} d^{12} e^{4} - 40 \, a^{3} c^{5} d^{10} e^{6} - 10 \, a^{4} c^{4} d^{8} e^{8} - 8 \, a^{5} c^{3} d^{6} e^{10} - 20 \, a^{6} c^{2} d^{4} e^{12} + 40 \, a^{7} c d^{2} e^{14} - 15 \, a^{8} e^{16}\right )} \sqrt {-c d e} \arctan \left (\frac {\sqrt {c d^{2} x + a x e^{2} + {\left (c d x^{2} + a d\right )} e} {\left (2 \, c d x e + c d^{2} + a e^{2}\right )} \sqrt {-c d e}}{2 \, {\left (c^{2} d^{3} x e + a c d x e^{3} + {\left (c^{2} d^{2} x^{2} + a c d^{2}\right )} e^{2}\right )}}\right ) - 2 \, {\left (2310 \, c^{8} d^{14} x e^{2} - 3465 \, c^{8} d^{15} e - 1050 \, a^{6} c^{2} d^{2} x e^{14} + 1575 \, a^{7} c d e^{15} + 105 \, {\left (8 \, a^{5} c^{3} d^{3} x^{2} - 35 \, a^{6} c^{2} d^{3}\right )} e^{13} - 20 \, {\left (36 \, a^{4} c^{4} d^{4} x^{3} - 119 \, a^{5} c^{3} d^{4} x\right )} e^{12} + 5 \, {\left (128 \, a^{3} c^{5} d^{5} x^{4} - 376 \, a^{4} c^{4} d^{5} x^{2} + 203 \, a^{5} c^{3} d^{5}\right )} e^{11} + 10 \, {\left (10368 \, a^{2} c^{6} d^{6} x^{5} + 160 \, a^{3} c^{5} d^{6} x^{3} - 55 \, a^{4} c^{4} d^{6} x\right )} e^{10} + 5 \, {\left (33792 \, a c^{7} d^{7} x^{6} + 27520 \, a^{2} c^{6} d^{7} x^{4} + 80 \, a^{3} c^{5} d^{7} x^{2} + 185 \, a^{4} c^{4} d^{7}\right )} e^{9} + 40 \, {\left (1792 \, c^{8} d^{8} x^{7} + 5312 \, a c^{7} d^{8} x^{5} + 116 \, a^{2} c^{6} d^{8} x^{3} - 15 \, a^{3} c^{5} d^{8} x\right )} e^{8} + {\left (87040 \, c^{8} d^{9} x^{6} + 4480 \, a c^{7} d^{9} x^{4} - 5488 \, a^{2} c^{6} d^{9} x^{2} + 1325 \, a^{3} c^{5} d^{9}\right )} e^{7} + 2 \, {\left (640 \, c^{8} d^{10} x^{5} - 2528 \, a c^{7} d^{10} x^{3} + 3517 \, a^{2} c^{6} d^{10} x\right )} e^{6} - {\left (1408 \, c^{8} d^{11} x^{4} - 5928 \, a c^{7} d^{11} x^{2} + 11193 \, a^{2} c^{6} d^{11}\right )} e^{5} + 12 \, {\left (132 \, c^{8} d^{12} x^{3} - 623 \, a c^{7} d^{12} x\right )} e^{4} - 21 \, {\left (88 \, c^{8} d^{13} x^{2} - 545 \, a c^{7} d^{13}\right )} e^{3}\right )} \sqrt {c d^{2} x + a x e^{2} + {\left (c d x^{2} + a d\right )} e}\right )} e^{\left (-7\right )}}{1146880 \, c^{6} d^{6}}\right ] \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 3.21, size = 738, normalized size = 1.29 \begin {gather*} \frac {1}{573440} \, \sqrt {c d x^{2} e + c d^{2} x + a x e^{2} + a d e} {\left (2 \, {\left (4 \, {\left (2 \, {\left (8 \, {\left (10 \, {\left (4 \, {\left (14 \, c^{2} d^{2} x e + \frac {{\left (17 \, c^{9} d^{10} e^{7} + 33 \, a c^{8} d^{8} e^{9}\right )} e^{\left (-7\right )}}{c^{7} d^{7}}\right )} x + \frac {{\left (c^{9} d^{11} e^{6} + 166 \, a c^{8} d^{9} e^{8} + 81 \, a^{2} c^{7} d^{7} e^{10}\right )} e^{\left (-7\right )}}{c^{7} d^{7}}\right )} x - \frac {{\left (11 \, c^{9} d^{12} e^{5} - 35 \, a c^{8} d^{10} e^{7} - 1075 \, a^{2} c^{7} d^{8} e^{9} - 5 \, a^{3} c^{6} d^{6} e^{11}\right )} e^{\left (-7\right )}}{c^{7} d^{7}}\right )} x + \frac {{\left (99 \, c^{9} d^{13} e^{4} - 316 \, a c^{8} d^{11} e^{6} + 290 \, a^{2} c^{7} d^{9} e^{8} + 100 \, a^{3} c^{6} d^{7} e^{10} - 45 \, a^{4} c^{5} d^{5} e^{12}\right )} e^{\left (-7\right )}}{c^{7} d^{7}}\right )} x - \frac {{\left (231 \, c^{9} d^{14} e^{3} - 741 \, a c^{8} d^{12} e^{5} + 686 \, a^{2} c^{7} d^{10} e^{7} - 50 \, a^{3} c^{6} d^{8} e^{9} + 235 \, a^{4} c^{5} d^{6} e^{11} - 105 \, a^{5} c^{4} d^{4} e^{13}\right )} e^{\left (-7\right )}}{c^{7} d^{7}}\right )} x + \frac {{\left (1155 \, c^{9} d^{15} e^{2} - 3738 \, a c^{8} d^{13} e^{4} + 3517 \, a^{2} c^{7} d^{11} e^{6} - 300 \, a^{3} c^{6} d^{9} e^{8} - 275 \, a^{4} c^{5} d^{7} e^{10} + 1190 \, a^{5} c^{4} d^{5} e^{12} - 525 \, a^{6} c^{3} d^{3} e^{14}\right )} e^{\left (-7\right )}}{c^{7} d^{7}}\right )} x - \frac {{\left (3465 \, c^{9} d^{16} e - 11445 \, a c^{8} d^{14} e^{3} + 11193 \, a^{2} c^{7} d^{12} e^{5} - 1325 \, a^{3} c^{6} d^{10} e^{7} - 925 \, a^{4} c^{5} d^{8} e^{9} - 1015 \, a^{5} c^{4} d^{6} e^{11} + 3675 \, a^{6} c^{3} d^{4} e^{13} - 1575 \, a^{7} c^{2} d^{2} e^{15}\right )} e^{\left (-7\right )}}{c^{7} d^{7}}\right )} - \frac {3 \, {\left (33 \, c^{8} d^{16} - 120 \, a c^{7} d^{14} e^{2} + 140 \, a^{2} c^{6} d^{12} e^{4} - 40 \, a^{3} c^{5} d^{10} e^{6} - 10 \, a^{4} c^{4} d^{8} e^{8} - 8 \, a^{5} c^{3} d^{6} e^{10} - 20 \, a^{6} c^{2} d^{4} e^{12} + 40 \, a^{7} c d^{2} e^{14} - 15 \, a^{8} e^{16}\right )} e^{\left (-\frac {13}{2}\right )} \log \left ({\left | -c d^{2} - 2 \, {\left (\sqrt {c d} x e^{\frac {1}{2}} - \sqrt {c d x^{2} e + c d^{2} x + a x e^{2} + a d e}\right )} \sqrt {c d} e^{\frac {1}{2}} - a e^{2} \right |}\right )}{32768 \, \sqrt {c d} c^{5} d^{5}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {x^3\,{\left (c\,d\,e\,x^2+\left (c\,d^2+a\,e^2\right )\,x+a\,d\,e\right )}^{5/2}}{d+e\,x} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________